//
// Created by zengao on 2022/12/29.
//
#include <stdio.h>
extern int prog();

int main(){
    printf("%d\n",prog());
    return 0;
}